Computer algebra

Results: 2963



#Item
11A Framework for Parameterized Design of Rule Systems Applied to Algebra Eric Butler, Emina Torlak, and Zoran Popovi´c Department of Computer Science and Engineering, University of Washington, Seattle, WAUSA {edbu

A Framework for Parameterized Design of Rule Systems Applied to Algebra Eric Butler, Emina Torlak, and Zoran Popovi´c Department of Computer Science and Engineering, University of Washington, Seattle, WAUSA {edbu

Add to Reading List

Source URL: homes.cs.washington.edu

- Date: 2017-06-23 18:20:17
    12A Framework for Parameterized Design of Rule Systems Applied to Algebra Eric Butler, Emina Torlak, and Zoran Popovi´c Department of Computer Science and Engineering, University of Washington, Seattle, WAUSA {edbu

    A Framework for Parameterized Design of Rule Systems Applied to Algebra Eric Butler, Emina Torlak, and Zoran Popovi´c Department of Computer Science and Engineering, University of Washington, Seattle, WAUSA {edbu

    Add to Reading List

    Source URL: www.ericbutler.net

    - Date: 2016-04-26 20:31:32
      133 Programming and Data Structures The two preceding chapters introduced mathematical computations using one-line commands, but Sage also allows programs with sequences of instructions. The Sage computer algebra system i

      3 Programming and Data Structures The two preceding chapters introduced mathematical computations using one-line commands, but Sage also allows programs with sequences of instructions. The Sage computer algebra system i

      Add to Reading List

      Source URL: members.loria.fr

      - Date: 2018-03-14 09:40:41
        14Learning to Automatically Solve Algebra Word Problems Nate Kushman† , Yoav Artzi‡ , Luke Zettlemoyer‡ , and Regina Barzilay† † Computer Science and Articial Intelligence Laboratory, Massachusetts Institute of T

        Learning to Automatically Solve Algebra Word Problems Nate Kushman† , Yoav Artzi‡ , Luke Zettlemoyer‡ , and Regina Barzilay† † Computer Science and Articial Intelligence Laboratory, Massachusetts Institute of T

        Add to Reading List

        Source URL: yoavartzi.com

        - Date: 2018-04-02 13:13:18
          15AEIcs.SCA field-theory motivated approach to symbolic computer algebra Kasper Peeters

          AEIcs.SCA field-theory motivated approach to symbolic computer algebra Kasper Peeters

          Add to Reading List

          Source URL: cadabra.science

          - Date: 2017-03-01 04:56:20
            16Symbolic field theory with Cadabra Kasper Peeters Cadabra is a new computer algebra system designed specifically for the solution of problems encountered in field theory. It has extensive functi

            Symbolic field theory with Cadabra Kasper Peeters Cadabra is a new computer algebra system designed specifically for the solution of problems encountered in field theory. It has extensive functi

            Add to Reading List

            Source URL: cadabra.science

            - Date: 2017-03-01 04:55:53
              175 Computational Domains Writing mathematics on paper or on the blackboard requires a compromise between ease of notations and rigour. The same holds for the day-to-day use of a computer algebra system. Sage tries to giv

              5 Computational Domains Writing mathematics on paper or on the blackboard requires a compromise between ease of notations and rigour. The same holds for the day-to-day use of a computer algebra system. Sage tries to giv

              Add to Reading List

              Source URL: members.loria.fr

              - Date: 2018-03-14 05:19:39
                18hep-thJanuaryMarchupdate for v2 syntax) Introducing Cadabra: a symbolic computer algebra system for field theory problems

                hep-thJanuaryMarchupdate for v2 syntax) Introducing Cadabra: a symbolic computer algebra system for field theory problems

                Add to Reading List

                Source URL: cadabra.science

                - Date: 2018-03-29 13:54:29
                  19INAPPROXIMABILITY OF THE KIDNEY EXCHANGE PROBLEM∗ P´eter Bir´o1 and Katar´ına Cechl´arov´a2 1 Department of Algebra and Department of Computer Science and Information Theory,

                  INAPPROXIMABILITY OF THE KIDNEY EXCHANGE PROBLEM∗ P´eter Bir´o1 and Katar´ına Cechl´arov´a2 1 Department of Algebra and Department of Computer Science and Information Theory,

                  Add to Reading List

                  Source URL: umv.science.upjs.sk

                  - Date: 2009-09-07 09:36:22
                    20ALGORITHMS FOR D-FINITE FUNCTIONS MANUEL KAUERS ∗ Abstract. D-finite functions play an important role in the part of computer algebra concerned with algorithms for special functions. They are interesting both from a co

                    ALGORITHMS FOR D-FINITE FUNCTIONS MANUEL KAUERS ∗ Abstract. D-finite functions play an important role in the part of computer algebra concerned with algorithms for special functions. They are interesting both from a co

                    Add to Reading List

                    Source URL: www.lifl.fr

                    - Date: 2015-10-20 06:48:17